#!/bin/bash
cat $1 | sed 's/\int\([^a-zA-Z]\)/Integer\1/g;s/\double\([^a-zA-Z]\)/Real\1/g' > RealInteger/$1
